例句與造句

1. Nevertheless, finite satisfiability and satisfiability need not coincide in general.
2. For a logic that has the finite model property, the problems of satisfiability and finite satisfiability coincide, as a formula of that logic has a model if and only if it has a finite model.
3. A problem related to satisfiability is that of "'finite satisfiability "', which is the question of determining whether a formula admits a " finite " model that makes it true.
4. It's difficult to find finite satisfiability in a sentence. 用finite satisfiability造句挺難的